Search results for "BC Logic"

Neutrality and Multi-Valued Logics

2007

In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert's style, sequent, and hypersequent. Recall that hypersequents are a natural generalization of Gentzen's style sequents that was introduced independently by Avron and Pottinger. In particular, we consider Hilbert's style, sequent, and hypersequent calculi for infinite-valued logics based on the three fundamental continuous t-norms: Lukasiewicz's, Gödel’s, and Product logics. We presen…

Нейтрософские методы в Общей Теории Относительности; Рабунский Д., Смарандаке Ф., Борисова Л.[Russian]

2006

В этой книге авторы применяют концепции нейтрософской логи ки к Общей Теории Относительности с целью получить обобщение использованного Эйнштейном четыр¨ехмерного псев дориманова дифференциального многообразия в терминах Смарандаке-геометрии (Смарандаке-многообразия). В результа- те такого исследования они получают новые классы релятивист ских частиц и разрабатывют теорию неквантовой телепортации. Наиболее перспективным в нейтрософской логике являет ся отмена закона исключенного среднего, что открывает новые уровни истинности, ложности и неопредел¨енности. Как нейтрософская логика, так и Смарандаке-геометрия, бы ли введены несколько лет назад одним из авторов (Ф. Смаран даке). Ныне использо…

NeutroAlgebra is a Generalization of Partial Algebra

2020

In this paper we recall, improve, and extend several definitions, properties and applications of our previous 2019 research referred to NeutroAlgebras and AntiAlgebras (also called NeutroAlgebraic Structures and respectively AntiAlgebraic Structures). Let <A> be an item (concept, attribute, idea, proposition, theory, etc.). Through the process of neutrosphication, we split the nonempty space we work on into three regions {two opposite ones corresponding to <A> and <antiA>, and one corresponding to neutral (indeterminate) <neutA> (also denoted <neutroA>) between the opposites}, which may or may not be disjoint – depending on the application, but they are …

A Summary of the Central Metaphysic of Superultramodern Science and Philosophy: From Modern Science to God–The Ultimate Questioner

This is a summary of the core/central metaphysic of my ‘Superultramodern Science and Philosophy’, which comprises the NSTP (Non-Spatial Thinking Process) theory and, chiefly, the UQV (Ultimate Questioner’s Vanity) theory.